perm filename SOLVE[F77,JMC] blob sn#318050 filedate 1977-11-20 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	(DEFUN
C00003 ENDMK
CāŠ—;
(DEFUN
  SOLVE
  (WFF FACTS)
  (COND
    
solve[wff,facts] attempts to find values of the free variables occurring
in WFF that make WFF true taking into account FACTS.

The program returns a sentence.  The sentence may give the values of
the variables or it may state that there is no consistent set of
values, it may suggest a search of some kind.  Besides returning
values for the variables, a search may mention a continuation that
might give additional sets of values.